<p id="noticearea"><?php echo HTML::chars($notice); ?></p> 